λ(x : Bool) → [ x ]
